Towards a Benchmark for E-Contract Checking and Monitoring
نویسندگان
چکیده
One good quantitative means of gauging research progress is through like-forlike comparative evaluation of software implementations and algorithms. However, a notable omission from the work in the new field of electronic contracting, is a standard means of evaluating performance of the components used for contract consistency-checking and monitoring, against earlier approaches. In this paper we propose a benchmark for assessing the efficiency of such components. We define a replicable experimental framework and use it to test a basic but expressive contract assessment prototype, EDEE. EDEE’s execution metrics set the bar for other contract assessment approaches. We hope that this experimental framework will stimulate researchers in the e-contracting community to develop competing data models and algorithms and raise the bar for time and space efficiency of contract checking and monitoring software.
منابع مشابه
Coordination of promotional effort, corporate social responsibility and periodic review replenishment decisions in a two-echelon socially responsible supply chain
In this paper, we explore the issue of coordination in a manufacturer-retailer supply chain where the manufacturer is socially responsible and invests in CSR activities. On the other hand, the retailer invests in promotional efforts and uses a periodic review order-up-to policy for replenishing items. First, the decentralized decision-making structure is modeled to calculate the minimum accepta...
متن کاملMonitoring Atomicity in Concurrent Programs
We study the problem of monitoring concurrent program runs for atomicity violations. Unearthing fundamental results behind scheduling algorithms in database control, we build space-efficient monitoring algorithms for checking atomicity that use space polynomial in the number of active threads and entities, and independent of the length of run monitored. Second, by interpreting the monitoring al...
متن کاملTowards Model-Checking Contracts
We understand by a contract a document written in natural language which engages several parties into a transaction, and which stipulates commitments (obligations, rights, and prohibitions) of the parties. Moreover the contract specifies also reparations in case of contract violation (i.e. some obligations or prohibitions are not respected). Because the human language is ambiguous by nature, co...
متن کاملTowards a Benchmark for Model Checkers of Asynchronous Concurrent Systems
Benchmarks, such as the established ISCAS benchmarks of digital circuits, have been successfully used to compare the relative merits of many model–checking tools and techniques employed for verifying synchronous systems. However, no benchmark for model checkers of asynchronous concurrent systems, such as communications protocols and distributed controllers, currently exists. This not only preve...
متن کاملMonitoring Sustainable Development Goals 3: Assessing the Readiness of Low- and Middle-Income Countries
Background The Millennium Development Goals (MDGs) availed opportunities for scaling up service coverage but called for stringent monitoring and evaluation (M&E;) focusing mainly on MDG related programs. The Sustainable Development Goals 3 (SDGs) and the universal health coverage (UHC) agenda present a broader scope and require more ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004